منابع مشابه
Mapping urban pipeline leaks: methane leaks across Boston.
Natural gas is the largest source of anthropogenic emissions of methane (CH(4)) in the United States. To assess pipeline emissions across a major city, we mapped CH(4) leaks across all 785 road miles in the city of Boston using a cavity-ring-down mobile CH(4) analyzer. We identified 3356 CH(4) leaks with concentrations exceeding up to 15 times the global background level. Separately, we measure...
متن کاملEfficient CUDA
Recent work in deep learning has created a voracious demand for more compute cycles, but with the slowdown of Moore’s law, CPUs cannot keep up with the demand. Thus, attention has turned to massively-parallel hardware accelerators, ranging from new processing units designed specifically for deep learning to the repurposing of existing technologies like Fieldprogrammable gate arrays (FPGAs) and ...
متن کاملCuda Accelerated Ltl Model Checking Cuda Accelerated Ltl Model Checking *
Recent technological developments made available various many-core hardware platforms. For example, a SIMD-like hardware architecture became easily accessible for many users who have their computers equipped with modern NVIDIA GPU cards with CUDA technology. In this paper we redesign the maximal accepting predecessors algorithm [7] for LTL model checking in terms of matrix-vector product in ord...
متن کاملPost-esophagectomy anastomotic leaks
OBJECTIVE: Esophageal anastomotic leaks are associated with significant morbidity and mortality. The purpose of this study was to retrospectively assess the role of the anastomotic positioning (thoracic or cervical) on the incindence of the anastomotic leak and its severity. METHODS: In the period 2002-07, we have performed extended esophagectomy with a curative-intent in 63 patients with esoph...
متن کاملTraumatic cerebrospinal fluid leaks.
This article discusses the epidemiology, diagnosis, and management of traumatic cerebrospinal fluid (CSF) leaks. An overview of traumatic CSF leaks is presented, and both conservative and operative therapies are reviewed. Management decisions are discussed based on the current literature. Controversial clinical topics are addressed, including the use of prophylactic antibiotics and the timing o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2016
ISSN: 1539-9087,1558-3465
DOI: 10.1145/2801153